Type theoretical databases
نویسندگان
چکیده
منابع مشابه
Type Theoretical Databases
We present a soundness theorem for a dependent type theory with context constants with respect to an indexed category of (finite, abstract) simplical complexes. The point of interest for computer science is that this category can be seen to represent tables in a natural way. Thus the category is a model for databases, a single mathematical structure in which all database schemas and instances (...
متن کاملProtein Databases
Proteins are sources of many peptides with diverse biological activity. Some of them are considered as valuable components of foods and drug targets with desired and designed biological activity. We are now entering an era rich in biological data in which the field of bioinformatics is poised to exploit this information in increasingly powerful ways. There are currently many databases all over ...
متن کاملSet theoretical proofs as type theoretical programs
We show, that all Π 0 2-sentences, provable in the set theory KP I + U can be proved in Martin-Löf's Type Theory with W-type and one universe. Therefore set theoretical proofs can be considered as programs in type theory. The method used is a formalisation of proof theoretical methods in type theory. The result will be a high level type theory program using the full strength of Martin-Löf's Typ...
متن کاملType Equivalence, Subtyping, and Type Transformations in Object-oriented Databases Type Equivalence, Subtyping, and Type Transformations in Object-oriented Databases
In this report, a number of completeness results are given that are useful for database integration on the schema level and the instance level. Type equivalence and subtyping are proven sound and complete w.r.t. a model-theoretic semantics. Furthermore, a set of type transformations is introduced that is proven sound and complete w.r.t. data capacity. These completeness results imply that if da...
متن کاملA theoretical formulation for degrees of isolation in databases
Although isolation is one of the desirable properties, most commercial database management systems do not provide complete isolation to transactions. They ooer diierent degrees|0, 1, 2, or 3|of isolation, to transactions. By providing lower degrees of isolation, response time of a database system can be improved, although at the expense of consistency. Originally diierent degrees of isolation w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2020
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/exaa009